Nuprl Lemma : fun_exp_wf 11,40

T:Type, n:f:(TT). f^n  TT 
latex


Definitionsf^n, t  T, x:AB(x),
Lemmasnat wf, int seg wf, compose wf, primrec wf

origin